discrete mathematics nested quantifiers